Chủ đề logical extension involves: